step(ps,ci,tm(s,[ctxm(beta_1_1_,ps,ip, (ip,ps), (ip,ps)),ctxm(beta_1_1_,ci,ip, (ip,ci), (ip,ci))],pri(pc,[ctxm(beta_1_1_,dot,s,i_s,c_s),ctxm(beta_1_1_,u,bsn,i_bsn,i_bsn),ctxm(beta_1_1_,r,dom, (dom,r,beta_1_), (dom,r,beta_1_))]))).